module Sol11  

where 

import FAIS

pair (n,m) = (n + m) * (n + m + 1) `div` 2 + n 

natpairs2 = [(x, toInt z-x) | z <- [0..], x <- [0..z]]

natlist 0 = [ [n] | n <- [0..] ]
natlist k = [ n : (natlist (k-1) !! m) | (n,m) <- natpairs2 ]

natstar = [] : [ natlist n !! m  |  (n,m) <- natpairs2 ]  

